Christophe Ringeissen And NotÉtats-Unis
List of bibliographic references
Number of relevant bibliographic references: 121.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000318 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000425 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000622 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| 001040 | Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
| 001153 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001171 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001873 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001C02 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 002662 | Christophe Ringeissen [France] ; Valerio Senni [France] | Modular Termination and Combinability for Superposition Modulo Counter Arithmetic |
| 002A32 | Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France] | A Constraint-based Approach to Web Services Provisioning |
| 002E32 | Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 002F08 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
| 003317 | Christophe Ringeissen [France] | Equational reasoning and combination methods: from programs to proofs |
| 003684 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003900 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003971 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Data Structures with Arithmetic Constraints: A Non-disjoint Combination |
| 003984 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003C83 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
| 003C88 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003D74 | Eric Monfroy ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 003E88 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Mediator Based Approach For Services Composition |
| 004145 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004399 | Eric Monfroy [Chili, France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 004526 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 004598 | Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 004624 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004C89 | Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Combining Proof-Producing Decision Procedures |
| 004F01 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Methodology For Web Services Composition |
| 004F53 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005034 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
| 005194 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
| 005507 | David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
| 005528 | Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005888 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
| 005927 | Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
| 005D31 | Silvio Ranise ; Christophe Ringeissen ; Calogero Zarba | Combining data structures with nonstably infinite theories using many-sorted logic |
| 005E25 | Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | On Superposition-Based Satisfiability Procedures and their Combination |
| 006223 | Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh Tran | On Superposition-Based Satisfiability Procedures and Their Combination |
| 006225 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 006288 | Silvio Ranise ; Christophe Ringeissen ; Calogero G. Zarba | Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic |
| 006544 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
| 006655 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 006899 | Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 006912 | Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Nelson-Oppen, Shostak and the Extended Canonizer : A Family Picture with a Newborn |
| 006A09 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen | A Rule Language for Interaction |
| 006C53 | Carlos Castro [Chili] ; Eric Monfroy [France] ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 006F48 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 006F57 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 007184 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; Anderson Santana De Oliveira | A Tool Support for Reusing ELAN Rule-Based Components |
| 007197 | Christophe Ringeissen [France] | Matching in a Class of Combined Non-Disjoint Theories |
| 007464 | Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] ; Anderson Santana [Brésil] | A Tool Support for Reusing ELAN Rule-Based Components |
| 007522 | Cesare Tinelli ; Christophe Ringeissen | Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures |
| 007586 | Christophe Ringeissen | Matching in a Class of Combined Non-Disjoint Theories |
| 007735 | Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 007793 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen | A Rule Language for Interaction |
| 007854 | Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira | A Tool Support for Reusing ELAN Rule-Based Components |
| 007855 | Anamaria Martins-Moreira ; Christophe Ringeissen ; Anderson Santana De Oliveira | A Tool Support for Reusing ELAN Rule-Based Components |
| 007A33 | Christophe Ringeissen [France] | Matching in a Class of Combined Non-disjoint Theories |
| 007B16 | Moreau Pierre-Etienne [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie] | A Pattern Matching Compiler for Multiple Target Languages |
| 007E19 | Anamaria Martins ; Christophe Ringeissen [France] | Generalizing CASL Specification Components and Preserving Rewrite Proofs |
| 007E94 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 007E95 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 007F75 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Algebraic Methodology And Software Technology |
| 008015 | David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
| 008070 | Mark G. J. Van Den Brand [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology |
| 008284 | Mark G. J. Van Den Brand ; Pierre-Etienne Moreau ; Christophe Ringeissen | The ELAN Environment : an Rewriting Logic Environment based on ASF+SDF Technology |
| 008355 | David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
| 008427 | Anamaria Martins Moreira ; Christophe Ringeissen ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 008530 | Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 008796 | David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
| 008B12 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 008C06 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 008D17 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern-Matching Compiler |
| 008E10 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 008F85 | Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen | Rewriting with strategies in ELAN : a functional semantics |
| 009101 | Pierre-Etienne Moreau ; Christophe Ringeissen ; Marian Vittek | A Pattern-Matching Compiler |
| 009224 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie] | A Pattern-Matching Compiler |
| 009330 | Christophe Ringeissen [France] | Matching with Free Function Symbols — A Simple Extension of Matching? |
| 009620 | Christophe Ringeissen [France] | Matching with Free Function Symbols -- A Simple Extension of Matching? |
| 009A43 | Christophe Ringeissen ; Eric Monfroy | Generating Propagation Rules for Finite Domains : a Mixed Approach |
| 009A79 | Christophe Ringeissen | Handling Relations over Finite Domains in the Rule-Based System ELAN |
| 009C23 | Mark G. J. Van Den Brand ; Christophe Ringeissen | ASF+SDF parsing tools applied to ELAN |
| 009D45 | Christophe Ringeissen [France] | Handling Relations over Finite Domains in the Rule-Based System ELAN |
| 009E90 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: A Mixed Approach |
| 00A212 | Christophe Ringeissen [France] | Handling Relations over Finite Domains in the Rule-Based System ELAN |
| 00A218 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Frontiers of Combining Systems |
| 00A283 | Mark G. J. Van Den Brand [Pays-Bas] ; Christophe Ringeissen [France] | ASF+SDF parsing tools applied to ELAN |
| 00A323 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains via Unification in Finite Algebras |
| 00A467 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 00A476 | Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | An Open Automated Framework for Constraint Solver Extension: the SoleX Approach |
| 00A510 | Christophe Ringeissen ; Eric Monfroy | Generating Propagation Rules for Finite Domains via Unification in Finite Algebras |
| 00A592 | Hélène Kirchner ; Christophe Ringeissen | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00A610 | Eric Monfroy ; Christophe Ringeissen | An Open Automated Framework for Constraint Solver Extension : the SoleX Approach |
| 00A635 | Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen | Rewriting with strategies in ELAN : a functional semantics |
| 00AD02 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: a Mixed Approach |
| 00AD15 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00AE96 | Claude Kirchner [France] ; Christophe Ringeissen [France] | Rule-Based Constraint Programming |
| 00AF54 | Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B034 | Eric Monfroy ; Christophe Ringeissen | Solex : a Domain-Independent Scheme for Constraint Solver Extension |
| 00B060 | Peter Borovansky ; Salma Jamoussi ; Pierre-Etienne Moreau ; Christophe Ringeissen | Handling ELAN Rewrite Programs via an Exchange Format |
| 00B131 | Claude Kirchner ; Christophe Ringeissen | Rule-Based Constraint Programming |
| 00B269 | Peter Borovansk ; Claude Kirchner ; Hélène Kirchner [France] ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B321 | Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | SoleX: A domain-independent scheme for constraint solver extension |
| 00B579 | Eric Monfroy [France] ; Christophe Ringeissen [France] | Solex: a Domain-Independent Scheme for Constraint Solver Extension |
| 00B620 | Cesare Tinelli ; Christophe Ringeissen [France] | Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results |
| 00B642 | Peter Borovansky [France] ; Salma Jamoussi [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | Handling ELAN Rewrite Programs via an Exchange Format |
| 00B695 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
| 00B858 | Christophe Ringeissen | Prototyping combination of unification algorithms with the ELAN rule-based programming language |
| 00B947 | Claude Kirchner ; Christophe Ringeissen | Higher-Order Equational Unification via Explicit Substitutions |
| 00BC21 | Christophe Ringeissen [France] | Prototyping combination of unification algorithms with the ELAN rule-based programming language |
| 00BC45 | Claude Kirchner [France] ; Christophe Ringeissen [France] | Higher-order equational unification via explicit substitutions |
| 00BE64 | E. Monfroy ; Christophe Ringeissen | Domain-Independent Constraint Solver Extension |
| 00C073 | Christophe Ringeissen [France] | Cooperation of Decision Procedures for the Satisfiability Problem |
| 00C082 | Christophe Ringeissen [France] | Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories |
| 00C837 | Christophe Ringeissen [France] | Cooperation of Decision Procedures for the Satisfiability Problem |
| 00CD36 | Eric Domenjoud [France] ; Francis Klay [France] ; Christophe Ringeissen [France] | Combination techniques for non-disjoint equational theories |
| 00CD37 | Christophe Ringeissen [France] | Combination of matching algorithms |
| 00D621 | Christophe Ringeissen [France] | Unification in a combination of equational theories with shared constants and its application to primal algebras |
| This area was generated with Dilib version V0.6.33. |  |